how to push changes to github from visual studio code